Supervisory Control of Real-time Discrete Event Systems under Partial Observation

In this paper, we address the issue of synthesizing an optimal supervisor for real-time discrete event systems modeled by timed automata and under partial observation. Our approach is based on a method of transformation of timed automata into particular finite state automata called Set-Exp-Automata. That is, given the timed automata of the plant and the specification, we construct two Set-Exp-Automata from which we compute the supervisor. Our approach provides a systematic method to synthesize a correct supervisor for a plant and a specification modeled by timed automata and under partial observation of events.